Cooperation by Iterated Plan Revision

نویسندگان

  • Bart Jan Moree
  • André Bos
  • Hans Tonino
  • Cees Witteveen
چکیده

A simple framework is developed for representing plans, goals and resources of agents in order to model cooperative planning behavior. Plans are represented as acyclic networks of skills that, given adequate initial resources, can realize special resources (goals). Given the storage costs of resources, application costs of skills, and values of goals we can reason about the profits of a plan for an agent. We then model two forms of cooperative planning behavior between two agents, viz. fusion, aiming at the maximization of the total yield of the agents involved, and collaboration which aims at maximization of the individual yield of each agent. We present efficient polynomial algorithms for agent plan fusion and collaboration and illustrate their use with a transportation planning example.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Extending the Harper Identity to Iterated Belief Change

The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e., contraction receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief ...

متن کامل

Iterated Belief Contraction from First Principles

Importance of contraction for belief change notwithstanding, literature on iterated belief change has by and large centered around the issue of iterated belief revision, ignoring the problem of iterated belief contraction. In this paper we examine iterated belief contraction in a principled way, starting with Qualified Insertion, a proposal by Hans Rott. We show that a judicious combination of ...

متن کامل

Multiple Iterated Belief Revision Without Independence

Multiple iterated revision needs advanced belief revision techniques beyond the classical AGM theory that are able to integrate several (propositional) pieces of new information into epistemic states. A crucial feature of this kind of revision is that the multiple pieces of information should be dealt with separately, which has usually been understood as requiring some kind of independence amon...

متن کامل

A Semantic Approach for Iterated Revision in Possibilistic Logic

In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for revision is too strong to define a practical one-step revision operator and some of them should be weakened. We then present a semantic approach for iterated revision in possibilistic logic using a one-step revision oper...

متن کامل

Three Scenarios for the Revision of Epistemic States

This position paper discusses the difficulty of interpreting iterated belief revision in the scope of the existing literature. Axioms of iterated belief revision are often presented as extensions of the AGM axioms, upon receiving a sequence of inputs. More recent inputs are assumed to have priority over less recent ones. We argue that this view of iterated revision is at odds with the claim, ma...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000